Blar i Bergen Open Research Archive på forfatter "Barash, Mikhail"

Viser treff 1-4 av 4

    • Algebraic Reasoning About Timeliness 

      Haeri, Seyed Hossein; Thompson, Peter W; Van Roy, Peter; Haveraaen, Magne; Davies, Neil J; Barash, Mikhail; Hammond, Kevin; Chapman, James (Journal article; Peer reviewed, 2023)
      Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time ...

    • A domain-specific language for structure manipulation in constraint system-based GUIs 

      Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko Timo Henrik (Journal article, 2023)
      A common frustration with programming Graphical User Interfaces (GUIs) is that features for manipulating structures, such as lists and trees, are limited, inconsistent, buggy, or even missing. Implementing complete and ...

    • Towards a Spreadsheet-Based Language Workbench 

      Barash, Mikhail (Chapter, 2021)
      Spreadsheets are widely used across industries for various purposes, including for storing and manipulating data in a structured form. Such structured forms—expressed using tabular notation—have found their way in language ...

    • The Ultimate GUI Framework: Are We There Yet? 

      Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko Timo Henrik (Journal article; Peer reviewed, 2023)
      The programming community seems to be forever searching for the ultimate user interface programming approach and the accompanying framework. We describe the landscape of recent efforts in this quest through describing ...